Data-flow analysis

Results: 379



#Item
11Software engineering / Compiler optimizations / Compiler construction / Programming language theory / Computing / Data-flow analysis / Control flow graph / Variable / Scope / Static single assignment form / Aliasing / Program analysis

Database-Backed Program Analysis for Scalable Error Propagation Cathrin Weiss Cindy Rubio-González

Add to Reading List

Source URL: web.cs.ucdavis.edu

Language: English - Date: 2015-02-16 13:00:00
12Compiler optimizations / Computing / Program analysis / Abstract interpretation / Data-flow analysis / Abstraction / Static single assignment form / Graph / Bytecode / Register allocation / Algorithm / Academia

A posteriori taint-tracking for demonstrating non-interference in expressive low-level languages Peter Aldous University of Utah

Add to Reading List

Source URL: spw16.langsec.org

Language: English - Date: 2016-06-05 23:38:28
13Software / Computing / Software metrics / Software testing / Array programming languages / Compiler optimizations / Linear algebra / MATLAB / Data-flow analysis / Code coverage / C++ classes / Subroutine

COMP 621 Program Analysis and Transformations Assignment #2 Using the McLab Framework for Analysis and Profiling Due: Monday October 26, 2015 Overview:

Add to Reading List

Source URL: www.sable.mcgill.ca

Language: English - Date: 2015-10-07 12:09:10
14Computing / Software / Computer architecture / Compiler construction / Smartphones / Routing algorithms / Parsing / Android / FloydWarshall algorithm / Data-flow analysis / Google Play / Mobile operating system

In Search Of Shotgun Parsers In Android Applications Katherine Underwood Michael E. Locasto

Add to Reading List

Source URL: spw16.langsec.org

Language: English - Date: 2016-06-05 23:39:01
15Software engineering / Security / Computer programming / Access control / Computer access control / Kernel / JavaScript / Object-oriented programming / Data-flow analysis / Database / Program analysis

Leveraging “Choice” to Automate Authorization Hook Placement Divya Muthukumaran Trent Jaeger

Add to Reading List

Source URL: www.cse.psu.edu

Language: English - Date: 2012-12-21 22:14:54
16Software / Computing / Data types / Array programming languages / Numerical software / C++ / Linear algebra / MATLAB / Array programming / Benchmark / Anonymous function / Const

COMP 621 Program Analysis and Transformations Assignment #1 Profiling and Traditional Flow Analysis Due: Wednesday Oct 7, beginning of class Overview:

Add to Reading List

Source URL: www.sable.mcgill.ca

Language: English - Date: 2015-09-21 10:19:26
17Economy / Business / Accounting / Profit / Cash flow / Fundamental analysis / Chemical companies / Covestro / Earnings before interest /  taxes /  depreciation /  and amortization / Operating cash flow / Bayer / Earnings before interest and taxes

Interim Report Financial Report as of June 30, 2016 Half-Year Financial Report Covestro Group Key Data

Add to Reading List

Source URL: press.covestro.com

Language: English - Date: 2016-07-26 01:04:39
18Economy / Accounting / Finance / Fundamental analysis / Profit / Cash flow / Free cash flow / Net income / Income / Financial ratio / Earnings before interest /  taxes /  depreciation /  and amortization / Amortization

ETM Q2 16 financial data tables updated Julyxlsx

Add to Reading List

Source URL: www.entercom.com

Language: English - Date: 2016-07-26 10:19:59
19Software / Computing / Software metrics / Software testing / Array programming languages / Compiler optimizations / Linear algebra / MATLAB / Data-flow analysis / Code coverage / C++ classes / Subroutine

COMP 621 Program Analysis and Transformations Assignment #2 Using the McLab Framework for Analysis and Profiling Due: Monday October 26, 2015 Overview:

Add to Reading List

Source URL: www.sable.mcgill.ca

Language: English - Date: 2015-10-07 12:09:11
20Analysis of parallel algorithms / Speedup / Connectivity / Tree / Flow network / Mathematics / Computing / Computer programming / Routing algorithms

Delta: Scalable Data Dissemination under Capacity ∗ Constraints Konstantinos Karanasos Asterios Katsifodimos

Add to Reading List

Source URL: www.user.tu-berlin.de

Language: English - Date: 2016-07-21 07:25:50
UPDATE